Wu Wen-Tsun: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (20)
Most Popular
List
- List
- Table

1

Selected Works Of Wen-Tsun Wu

Selected Works Of Wen-Tsun Wu

World Scientific

Year:

2008

Language:

english

File:

PDF, 23.36 MB

0 / 0

english, 2008

2

Selected works of Wen-tsun Wu

Selected works of Wen-tsun Wu

World Scientific

Year:

2008

Language:

english

File:

DJVU, 3.17 MB

0 / 0

english, 2008

3

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Year:

2003

Language:

english

File:

PDF, 3.49 MB

0 / 0

english, 2003

4

Selected Works Of Wen-Tsun Wu

Selected Works Of Wen-Tsun Wu

World Scientific Publishing Company

Year:

2008

Language:

english

File:

DJVU, 4.45 MB

0 / 0

english, 2008

5

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-Tsün (auth.), William McCune (eds.)

Year:

1997

Language:

english

File:

PDF, 8.12 MB

0 / 0

english, 1997

6

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

Year:

1992

Language:

english

File:

DJVU, 6.91 MB

0 / 0

english, 1992

7

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Beijing, China, Int.Acad. Publ.

Wu Wen-Tsun, Cheng Min-De. (eds.)

Year:

1992

Language:

english

File:

PDF, 23.36 MB

0 / 0

english, 1992

8

SELECTED WORKS OF WEN-TSUN WU

SELECTED WORKS OF WEN-TSUN WU

Year:

2008

Language:

english

File:

DJVU, 5.20 MB

0 / 0

english, 2008

9

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Year:

2003

Language:

english

File:

PDF, 4.29 MB

0 / 0

english, 2003

10

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Beijing, China, Int.Acad. Publ.

Wu Wen-Tsun, Cheng Min-De. (eds.)

Year:

1992

Language:

english

File:

DJVU, 6.09 MB

0 / 0

english, 1992

11

Mathematics Mechanization

Mathematics Mechanization

Year:

2000

Language:

english

File:

DJVU, 4.28 MB

0 / 5.0

english, 2000

12

Mathematics Mechanization: Mechanical Geometry Theorem proving

Mathematics Mechanization: Mechanical Geometry Theorem proving

Year:

2001

Language:

english

File:

DJVU, 4.23 MB

0 / 0

english, 2001

13

Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

Springer-Verlag Wien

Dr. Wen-tsün Wu (auth.)

Year:

1994

Language:

english

File:

PDF, 4.87 MB

0 / 0

english, 1994

14

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure

Year:

1987

Language:

english

File:

PDF, 7.50 MB

0 / 0

english, 1987

15

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Year:

1987

Language:

english

File:

DJVU, 1.24 MB

0 / 0

english, 1987

16

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Year:

2000

Language:

english

File:

DJVU, 17.97 MB

0 / 0

english, 2000

17

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Year:

2005

Language:

english

File:

PDF, 6.38 MB

0 / 0

english, 2005

18

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Year:

2005

Language:

english

File:

PDF, 5.21 MB

0 / 0

english, 2005

19

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-tsun (auth.), Ding-Zhu Du, Xiang-Sun Zhang (eds.)

Year:

1994

Language:

english

File:

DJVU, 6.07 MB

0 / 0

english, 1994

20

Rational Homotopy Type

Rational Homotopy Type

Year:

1987

Language:

english

File:

DJVU, 915 KB

0 / 0

english, 1987